Intents for Subject differential calculus
first-derivative
f
$1 prime
first derivative of $1
Y
limit
lim
Y