5˙0012
Verneinung, Disjunktion, logische [m|M]ultiplikation etc. sind Operationen.