special-symbols package This extension lets you insert Unicode symbols that would otherwise be very cumbersome or impossible to type on a standard keyboard.
