3 Jun
2003
3 Jun
'03
8:32 p.m.
Steve Vickers wrote:
It is also possible to use a 2-dimensional syntax, in which horizontal composition is composed horizontally and vertical composition is composed vertically. Then algebraic manipulations are a bit like sliding tiles around in a tray.
Of course this can be done using big diagrams. But is there a tight syntax for this just using text? Can you point to an example? (preferably a TeX source online, but a printed page in a regular journal would also work). -- Toby