@PhilosophyExp @Metamagician In other words, (∃x : symbol(x) ∧ cannotBePasted(x) ∧ looksLike("∀", x))?
-
@gravbeast@PhilosophyExp Okay, how did you paste the ∃ and the ∀? When I tried to paste a ∀ from a Word doc it became inverted commas.
@Metamagician @gravbeast Probably need to do it from plain text. Word has proprietry coding, etc.
-
-
@PhilosophyExp@Metamagician I suspect Word must not be using the "standard" encoding for the symbols (called "unicode") - but as you say, -
@PhilosophyExp@Metamagician some Word-specific font or encoding.
End of conversation
New conversation -
-
-
@PhilosophyExp@gravbeast Easiest is to copy it from someone else's tweet. :) -
@Metamagician@PhilosophyExp ...I just copy and paste from Wikipedia, if it's a one-off - e.g. google for "universal quantifier" etc. -
@Metamagician@PhilosophyExp ...which has most of the logic symbols commonly needed. -
@Metamagician@PhilosophyExp The Wikipedia table also gives "unicode" codes for the symbols. If you check Word's help, it may tell you how -
@Metamagician@PhilosophyExp to enter "unicode" characters. I don't have Word; on Linux, you type [Ctrl]+[Shift]+u [4-letter-code] [Enter] -
@Metamagician@PhilosophyExp For anything lengthy, I tend to write it up using LaTeX, and then convert it to HTML.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.