4f Studio provides a powerful collection of tools for digital mathematics education. The rich text editor in 4f Notebook uses traditional mathematical notation for formulas, so mathematical text can be written and edited in a simple and straightforward way.  You can add a number of different mathematical content elements to a notebook page, like function graphs, geometric figures, displayed formulas, calculations in traditional format as well as in structured derivation format, sign charts and general mathematical tables. The structured derivations editor has a plugin for automatic checking the correctness of the derivation.

The eMath text element allows you to write standard (wysiwyg) mathematical formulas in the rich text editor. The formulas are written with LaTeX-commands and  become visible directly when typed.

You can add a calculation as a separate math element to a page. The calculation has the traditional layout, with a left formula, relation symbol (usually equality), and right formula, in a sequence of successive lines, all lined up under the relation symbol. The rightmost column contains a justification for the step.

A structured derivations element is very useful for creating both simple and more complex mathematical arguments, like calculations, derivations, proofs and so on. Mathematical reasoning is presented in a logically structured and easily readable form. The editor helps you with structuring the derivation, clearly identifying the task to be solved, the assumptions, the observations, and definitions, so that you can concentrate on the mathematical argument itself. The editor allows you complete freedom in building a derivation, adding, editing and deleting derivation steps at any desired place, while still preserving the overall syntax of the derivation. The automatic checker can be used to check that a structured derivation is correct. Find out more about structured derivations here.

You can draw geometric figures with the geometric editor. This allows you to show the geometric constructions that are used in your argument. The geometric constructions are live, in the sense that you can move selected points around on the canvas, to change the shape of the geometric figures. This is useful, e.g., for showing that some properties are not dependent on the specific choice of shapes for the figures.

You can add function graphs to a note page, just by writing the expressions for the function values in the graph editor. You can add points, lines and circles to the graphs when you need to point out important properties. You can plot any number of function graphs in the same figure.

The sign chart helps you to solve inequalities, and is very useful in analysing properties of functions in calculus.

Tables showing mathematical content are very useful for different kinds of for mathematical problems. You can create them with the table element. You can also generate different kinds of diagrams directly from a numeric table.