Hate it >=( waste of time I downloaded it but it won't come up on my screen i go on to apps in settings and it said it was downloaded! But it won't come up so I can't use it! \so sorry I have to type negetive\
Very light on basic symbols I was shocked that many integral and basic logic/set theory symbols are not included. For instance, a way to make sub and superscripts for inverse functions, images, equivalence classes and exponents, the valid symbol associated with tautology, underscores and double lines over letters (cardinality), cardinality symbols (the weird less than or equal to), and the basic less than/greater than or equal to. Quite disappointed, since logic is traditionally combined with set theory and topology.
The app won't show up as an input method or a short cut to it. It shows up in downloads but nowhere else therefore is practically unusable.
Finally. Great. Its very helpful for writing out symbolic sentences on Android. Android should purchase it and make logic symbols standard.
Thanks Thanks for your work . You solve a problem for me . Wish you always be successfull
Didn't work I was looking for an existential quantifier but all I got was a negated existential app
1st June 2011. v1.0. First version upload.