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