- define large-spacing variants of the logical connectives
  - rename \ISep to \isepV, improve its aspect
  - fix dirty spacing in various macros (avoid relative spacing such as \, or \!)
  - better use of mathpar