[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: more basic delims ?

msbm '54 and '55 (negated parallel and vert bar) are, i believe,
just used in that size as binary relations.  they certainly
wouldn't be used as "outer" delimiters.  i'm pretty sure that
the shorter versions wouldn't be used as delims at all.

the nvdash family is used in the same way as all the other
vdashes (also called "turnstiles"); they occur in logic.
						-- bb