Nella pratica si evince dal contesto, così di solito i pedici sono omessi).
Per esempio, se "e" è una costante , allora "h" = "e""B".
Se ~ è un'operazione unaria, allora "h" = ~"h".
Al contrario, alcuni teoremi che valgono nell'algebra universale non si generalizzano in nessun modo nella teoria delle categorie.