"Grab Text" problem

  • 1
  • Idea
  • Updated 2 months ago

I tried to "grab" a first order logic formula but the "grab" translation was not correct.
This was the grab result: (3æ)(person(æ) A (Vy) (person(y) —>• (shaves(x,y) ^shaves(y, y))))

Please will you update Snagit so that it correctly "grabs" formulae that are expressed in first order logic.

This is the original formula.


Photo of kre

kre

  • 5 Posts
  • 3 Reply Likes

Posted 3 months ago

  • 1
Photo of Ed Covney

Ed Covney

  • 1042 Posts
  • 524 Reply Likes
To grab text, Snagit's grabber needs to understand the font you are using. What font was used to produce your original?
Photo of kre

kre

  • 5 Posts
  • 3 Reply Likes
Sorry, I don't know what font was used. 
I got the original from Wikipedia
https://en.wikipedia.org/wiki/Barber_paradox

Seems to me that it would be a wise move on your part to make sure that Snagit's grabber can recognise the font used by Wikipedia - it is probably standard across all Wikipedia pages.
(Edited)
Photo of Ed Covney

Ed Covney

  • 1042 Posts
  • 524 Reply Likes
" .  . it is probably standard across all Wikipedia pages. "  I assure it is NOT. 

You don't know what font Wiki used, but .  .  have you sought out and tested possible candidate fonts?  I can't imagine how difficult it would be for "grab" distinguish from among 2, 3 or more different fonts on the same page.  
 
I'm a mathematician (wannabe) and didn't recognize any of the symbology you provided above.  Does the backward E mean "Is a member of" {set} ? In math we use "∈"
X   ε  {A}    (X is in{A})   or
3   ε  {1,2,3,4,5}
ε - Is "epsilon" in the Greek alphabet.  Other fonts I use are: 


 ¢   © TM  ®  ̄  °  ±  2  3  1⁄4  1⁄2  3⁄4  ¿  ×  ÷  ≈   ≡ ≠

 Ƨ  ƨ  ǀ  ǁ  ǂ  ɵ  ɸ  ʃ  ʊ  ˂  ˃  ˄  ˅  ∙   ¿?¿?

 α 
β  γ  Δ 
δ  ε  θ 
λ  μ  π 
ρ  σ  τ 
φ  ω

⁂ ⸦ ⸧

Some came, others didn't



(Edited)
Photo of kre

kre

  • 5 Posts
  • 3 Reply Likes
The symbols are used for logic.
To the best of my knowledge, first order logic is now recognised as the foundation of mathematics.
The backwards E means "There exists".
The upside down A means "For all"
V  means "OR"
Upside down V means "And" 

This may help.
http://www.cs.ox.ac.uk/james.worrell/lecture9-2015.pdf
(Edited)