Source: http://pierrelux.net/documents/cours/2_2017/symboles.pdf