Source: https://sylvainlacroix.ca/ESW/Files/306_SymboleInequations.pdf