Simbologia e modi di dire in inglese
Ho aperto questo topic per dire tutti i simboli e i modi di dire in inglese, chi più ne sa più ne posti.. 
$d/dxf(x)$ => "Derivative with respect to x of f(x)"
$intf(x)dx$ => "Integral with respect to x of f(x)"
$>$ => greater than
$<$ => less than
$<=$ => less or equal than
$>=$ => greater or equal than
$+$ => addition
$-$ => subtraction
$*$ => multiplication
$/$ => division
$A" insieme"$ => set
$O/$ => empty set
$oo$ => infinity
$A sub B$ => A is a proper subset of B
$A sube B$ => A is an improper subset of B
$B sup A$ => B is a proper superset of B
$B supe A$ => B is an improper superset of A
$sin(x)$ => sine of x
$cos(x)$ => cosine of x
$a^b$ => a elevated to b
$|a|$ => absolute value of a
$a!$ => factorial of a
$a+b$ => a plus b
$a-b$ => a minus b
$a*b$ => b times a
$a/b$ => a over b
$a^2$ => a squared
$a^3$ => a cubed
$a rArr b$ => a implies b
$a lArr b$ => a co-implies b (b implies a)
$a hArr b$ => a implies and co-implies b
$a = b$ a equals b
one-to-one correspondence (injective correspondence) => corrispondenza iniettiva
onto correspondence (surjective correspondence) => corrispondenza suriettiva
bijective correspondence => corrispondenza biunivoca

$d/dxf(x)$ => "Derivative with respect to x of f(x)"
$intf(x)dx$ => "Integral with respect to x of f(x)"
$>$ => greater than
$<$ => less than
$<=$ => less or equal than
$>=$ => greater or equal than
$+$ => addition
$-$ => subtraction
$*$ => multiplication
$/$ => division
$A" insieme"$ => set
$O/$ => empty set
$oo$ => infinity
$A sub B$ => A is a proper subset of B
$A sube B$ => A is an improper subset of B
$B sup A$ => B is a proper superset of B
$B supe A$ => B is an improper superset of A
$sin(x)$ => sine of x
$cos(x)$ => cosine of x
$a^b$ => a elevated to b
$|a|$ => absolute value of a
$a!$ => factorial of a
$a+b$ => a plus b
$a-b$ => a minus b
$a*b$ => b times a
$a/b$ => a over b
$a^2$ => a squared
$a^3$ => a cubed
$a rArr b$ => a implies b
$a lArr b$ => a co-implies b (b implies a)
$a hArr b$ => a implies and co-implies b
$a = b$ a equals b
one-to-one correspondence (injective correspondence) => corrispondenza iniettiva
onto correspondence (surjective correspondence) => corrispondenza suriettiva
bijective correspondence => corrispondenza biunivoca
Risposte
"Charlie Epps":
Secondo voi quanto è importante conoscere tali termini?
Talking 'bout me? Well, if I had to explain an argument of complex analysis to somebody italian, he wouldn't understand the meaning of "branch point". (and this happened to me)
I would like to know if there is an equivalent in Italian for a term which appears on this page:
http://www.apronus.com/provenmath/induction.htm
In the proof of the Recursion Principle there is the definition of "proper collection".
I repeat it here in a more readable way (I hope):
$(X,E)$ is a well ordered set
$Y$ is a set
for every $x inX$ let be $I(x) := {yinX:yEx and ynex}$
$D := { j inP(XxY) :$ exists $ x inX $ such that $j$ is a function from $I(x)$ to $Y }$
$g: D->Y$
$A subset X$
$f: A->Y$
$(A,f)$ is a proper collection if and only if:
1) $A$ is an initial segment of $X$
2) for every $x inA$, $f(x)=g(f bigcap (I(x) times Y))$
Maybe this is just a term used only here, to make the proof clearer.
I just wondered if someone had ever known a name for a "thing" like that in italian...
http://www.apronus.com/provenmath/induction.htm
In the proof of the Recursion Principle there is the definition of "proper collection".
I repeat it here in a more readable way (I hope):
$(X,E)$ is a well ordered set
$Y$ is a set
for every $x inX$ let be $I(x) := {yinX:yEx and ynex}$
$D := { j inP(XxY) :$ exists $ x inX $ such that $j$ is a function from $I(x)$ to $Y }$
$g: D->Y$
$A subset X$
$f: A->Y$
$(A,f)$ is a proper collection if and only if:
1) $A$ is an initial segment of $X$
2) for every $x inA$, $f(x)=g(f bigcap (I(x) times Y))$
Maybe this is just a term used only here, to make the proof clearer.
I just wondered if someone had ever known a name for a "thing" like that in italian...
Secondo voi quanto è importante conoscere tali termini?
"elgiovo":
What is the italian translation of "branch point" (the point such that a loop around it makes a multifunction change its value)?
I think it's "punto di diramazione".
"punto di ramificazione"?
but i'm not so sure...
but i'm not so sure...
What is the italian translation of "branch point" (the point such that a loop around it makes a multifunction change its value)?
$\exists x$ exists x

$foralln$ for all n
"Mega-X":
$>=$ => less or equal than
$<=$ => greater or equal than
idem

DOH 
i can't remember the difference between the symbol of subset and the symbol of superset.. sorry..
(I'm going to edit my post..)

i can't remember the difference between the symbol of subset and the symbol of superset.. sorry..

(I'm going to edit my post..)
"Mega-X":
$A sub B$ => A is a proper superset of B
$B sup A$ => B is a proper subset of B
you have to flip these definitions as:
$A sup B$ => A is a proper superset of B
$B sub A$ => B is a proper subset of B