Detexifier:

• https://detexify.kirelabs.org/classify.html

A list of TeX commands supported in Notion (the KaTeX library):

• https://katex.org/docs/supported.html
• See the “Logic and set theory” part in particular

Symbols used in IN1150:

LaTeX_hjelp_IN1150.pdf

How to draw a Venn's diagram:

• https://www.overleaf.com/project/5cc031b78b3730298ffcfa3b

How to draw truth tables (sannhetsverditabeller):

• https://www.overleaf.com/project/5cc031b78b3730298ffcfa3b