From: jim <jim@web>
Date: Tue, 24 Mar 2015 13:17:23 +0000 (-0400)
Subject: &equiv; means syntactic identity, not equivalence
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=cabaa3341918874ee26fd368df25383e15b31737;hp=cabaa3341918874ee26fd368df25383e15b31737

&equiv; means syntactic identity, not equivalence
---