Logische Operatoren auf Metaebene
Für \Boxi benutze ich (jetzt) auch den \DeclareMathOperator-Befehl. Nur brauche ich zudem auch den \Box-Operator. In meiner Ausgabe sehe ich zwischen dem nach Deinem Vorschlag definierten \Boxi und dem nicht veränderten \Box keinen Unterschied hinsichtlich der Abstände. Also kann \Box doch so bleiben, wie er ist, oder?