Recent

Proof

A brief explanation and some examples on how to compose sequent calculus derivations with Overleaf using bussproofs.

Some examples of typesetting inference rules and T-diagrams using the semantic package.

Investigations into the properties of divergence and convergence in regards to (1)/(((ln(n))^P)n).

Example math quiz/exam in Vietnamese

A simple trick to decorate Theorem-like environments with poker suits QED symbols. I did not come up with this theorem decoration style (I've first seen it here) nor with the whole code (I salvaged it from TeX StackExchange and other sources over the years). This is just my current implementation of the code.

Provmall

LaTeX is the best way to write mathematics. It completely pisses all over Word. However, it does take some time to get used to so might not be worth your while if you won't write too much. The way I use it is to first download and install a latex editor and then get writing, but I would recommend that you use this website instead since you can get going a lot quicker. The upshot of the whole business is that you type in here and then a pdf is generated with all the equations looking ace. I'll give you some examples.

þetta er prufa
\begin
Discover why over 20 million people worldwide trust Overleaf with their work.