Просто пишу как самому удобно добавляя функциональность для быстрой вставки символов по мере надобности. Например, нужно быстро вставлять ⇒ ⇔ ⊗ ∈ ∋ и т.п. Ну и активно использую ad-hoc sexp синтаксис (в org-блоках), там часто получается смесь инфикса и префикса, но это м.б. дело привычки. Типа:
(= (sc ↦ ($ φ (∑_{β∈ supp sc} ($ sc β))))
(sc ↦ ($ φ sc))
φ)