Re: query regarding a symbol

[Jeffrey Howard Kingston]

I guess there isn't one at the moment.  If you care to make a list and
send me a PostScript file showing what each symbol you want looks like,
I'd be happy to add them to @Eq for the next release.  But please don't
send one or two at a time, work out the full set and send them all.

Jeff Kingston

On Tue, 14 Mar 2000, Venkatesh Prasad Ranganath wrote:

> Hi,
> 
> I wanted to know how can I get the "semantic" symbol( the square bracket with 
> double vertical lines instead of one, the one that is used in Denotational 
> semantics to say semantic meaning of).  I guess the equivalent in latex is 
> \sem{<whatever>}.
> 
> waiting for reply
> 
> - Venkatesh
> 
> 
>