User talk:Jshflynn/Subsequence Relation is Pre-Ordering

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