User talk:Jshflynn/Subsequence Relation is Pre-Ordering

From ProofWiki
Jump to navigation Jump to search

Is there a reason not to use the site-standard symbology for preordering? --prime mover (talk) 10:31, 6 January 2013 (UTC)