\FORALL gives a "for all" loop, i would like to redefine it so that it shows "for each" instead. Any way to do that?
By the way, foreach is more often used in real programming languages than forall, is that correct?
|
By the way, foreach is more often used in real programming languages than forall, is that correct? |
||||
|
Simple enough and covered in the
This command redefines the macro that is used to typeset |
|||||||||||||||||
|
|
You can also use the following trick to convert
|
||||
|
|
|
There is a For Each loop in the |
||||
|
forallstatement in any programming language I learned. AFAIK it would require aforeachin its implementation anyway, i.e.foreach VAR in ARRAY { if (somefunc(VAR)) { do_something } }, so it would automatically be more often used. – Martin Scharrer♦ May 16 '11 at 11:03\inSet". – Andrey Vihrov May 16 '11 at 12:19