The section about integration calculus in Alternative mathematical notation was slightly updated.