i just saw the symbol ⊆ but with two lines underneath it. i was flummoxed. really puzzled. what could it mean? if ⊂ is 'is a strict subset', ⊆ is 'is a regular subset' then maybe two means 'is a really loose and vague subset'?? i couldn't work it out. then i realised that it was just ⊆ underlined because it was a link

given that ⊃ ≈ ⊇ i'd like to define ⊂++ ⊇ ⊂ in the same way that C++ ≈⊇ C

Show thread

@jk I am not quite coherent enough to explain why I've been laughing at this since I saw it

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!