#import "_base.typ": *

#display[$ forall x in RR, quad f(x) = x^2 $]