4 Jun
2003
4 Jun
'03
6:32 a.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