Talk:Compactness Properties in T3 Spaces

From ProofWiki
Jump to navigation Jump to search

The rather ugly three stacked vertical implication signs make me contemplate a solution generating such implication diagrams for us. A possibility would be GraphViz (do a web search) but it seems to not support the implication sign as an arrow. I will think on it some more. --Lord_Farin 20:30, 24 July 2012 (UTC)