block auto
abbr tto ->
abbr ffrom <-
abbr iip =>
abbr iib <=
abbr leq <=
abbr geq >=
abbr land /\
abbr lor \/
abbr langle ⟨
abbr rangle \⟩
abbr thrf therefore