PropertyValue
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.w3.org/ns/prov#value
  • I know I could easily implement this using TikZ, but stacking two \lnots seems easier to make work at multiple font sizes. (I will not probably be using this at any size other than 10pt, but I might use it in a footnote or a caption.)
http://www.w3.org/ns/prov#wasQuotedFrom
  • stackexchange.com