figured out how to use a tilde in latex