SCIM

  1. Bug #295434
  2. Comment #5

Comment 5 for bug 295434

Revision history for this message
Frédéric Grosshans (fgrosshans) wrote :

I expand the description, the correct associatation is
\top ⊤
\bot ⊥ (for bottom)