pjbk@cs.hw.ac.uk (Peter King) (01/24/91)
Has anyone a macro for the open verticasl box symbol used by Chandy and Misra to separate statements in their UNITY notation. It looks a bit like [] written so close together that the ends of the brackets touch. All the other characters in their notation seemto be easily generated. ( I use LaTeX ). Any pointers greatfully accepted. Peter -- Peter King, Computer Science Department JANET: pjbk@uk.ac.hw.cs Heriot-Watt University ARPA: pjbk@cs.hw.ac.uk 79 Grassmarket, Edinburgh EH1 2HJ or pjbk%cs.hw.ac.uk@ucl-cs Phone: (+44) 31 225 6465 Ext. 555 UUCP: ..!ukc!cs.hw.ac.uk!pjbk