Invisible a écrit :
> I'm just examining the obfuscation possibilities for logical statements. 
> We've got the inverted A for "for all", and the mirrored E for "there 
> exists", and the three dots for "therefore", but is there any symbol 
> that represents "such that"?
> 

I've always used a vertical bar for "such that" in set definitions, 
apparently you can use a colon as well:

http://en.wikipedia.org/wiki/Vertical_bar#Mathematics

-- 
Vincent

Post a reply to this message