Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sun-barr!lll-winken!uunet!mcsun!ukc!edcastle!hwcs!pjbk
From: pjbk@cs.hw.ac.uk (Peter King)
Newsgroups: comp.text.tex
Subject: Characters for Chandy/Misra UNITY notation
Message-ID: <5267@brahma.cs.hw.ac.uk>
Date: 24 Jan 91 15:54:32 GMT
Reply-To: pjbk@cs.hw.ac.uk (Peter King)
Organization: Computer Science, Heriot-Watt U., Scotland
Lines: 13

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