The symbol \cdot and \leq are also written \otimes and \to respectively. In category theory, pregroups are also known as autonomous categories or (non-symmetric) compact closed categories. More typically, x \cdot y will just be represented by adjacency, i.e. as xy.
