2
$\begingroup$

Whenever possible I prefer to express inputs in mathematical notation (rather than text commands) as I feel this helps one think like a mathematician, leaving the calculations to Mathematica "in the background." (Of course not all functions can be expressed in mathematical notation, such as Reduce or FullSimplify, and so on.)

Thus I use ESC for typesetting integrals and such, or use the Basic Math palette.

Consider this code:

Resolve[ForAll[x, a x^2 + a x - 4 < 0]]

(* $-16 < a \leq 0$ *)

The symbol $\forall$ in the Mathematica palette seems to be appropriate to replace ForAll, but doesn't work:

Resolve[\!\(
\*SubscriptBox[\(\[ForAll]\), \(x\)]\([a\ x^2\  + \ a\ x - 4 < 0]\)\)]

I've tried a number of variations, without success.

How can one express a function call, such as above, using the $\forall$ symbol?

$\endgroup$
6
  • 1
    $\begingroup$ \[ForAll] seems work. $\endgroup$
    – cvgmt
    Aug 18 at 6:05
  • $\begingroup$ @cvgmt: That certainly typesets the symbol, but when I use that in the full input function call it sets the symbol but doesn't support the desired computation. (v. 11.3). What am I missing? $\endgroup$ Aug 18 at 6:07
  • 1
    $\begingroup$ \[ForAll] then use Ctrl _ to put the lower x and then another expression. $\endgroup$
    – cvgmt
    Aug 18 at 6:09
  • $\begingroup$ I apologize if I'm missing something basic, but can you typeset the \[ForAll] and actually get my sample code (involving Reduce and such) to work? Actually compute the desired answer? I can't! $\endgroup$ Aug 18 at 6:12
  • 1
    $\begingroup$ Resolve[\!\( \*SubscriptBox[\(\[ForAll]\), \(x\)]\(a\ x^2\ + \ a\ x - 4 < 0\)\)] $\endgroup$
    – cvgmt
    Aug 18 at 6:12

1 Answer 1

6
$\begingroup$

An animation maybe useful for such input.

enter image description here

$\endgroup$
1
  • $\begingroup$ Above and beyond the call of duty! Thanks! ($+1, \checkmark$). My personal preference is to use ESC... but no matter. $\endgroup$ Aug 18 at 15:43

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.