0
votes
1answer
143 views

Choosing Notation for Variable Substitution into Derivative Expressed with Differentials [closed]

Consider function $f(x)$. I've counted 4 possible notations to write a derivative of $f(x)$ at point $x = a$: $f'(a)$; $\frac{\operatorname{d}{f(a)}}{\operatorname{d}x}$; ...
3
votes
1answer
379 views

Equal signs with fancy marks

Some people use $\stackrel{\mathrm{def}}{=}$, $:=$ or $\stackrel{\Delta}{=}$ for definitions. In more informal contexts, I have also seen $\stackrel{?}{=}$, for "I wish to prove this equality, which ...
12
votes
4answers
1k views

Notation in Frege's Grundgesetze der Arithmetik: The U with a flourish

In the Grundgesetze der Arithmetik, Frege used a number of strange characters for notation. I would be most interested to know anything about the typography (origin, usage and so on) of the strange U ...
14
votes
6answers
4k views

What's the notation for a function restricted to a subset of the codomain?

Suppose I have a function f : A → B between two sets A and B. (The same question applies to group homomorphisms, continuous maps between topological spaces, etc. But for simpicity let's restrict ...
1
vote
5answers
3k views

What is the difference between the biconditional iff. and equality = ?

Hello, I've been used to writing logical transformations using equality, but the other day it struck me that perhaps I should be using the biconditional $\iff$? So my question is: What is the ...