Documentation autogenerated by HWEB

This is a third test of the HWEB system of documentation. The compiler ought to produce some nice HTML code for this example as well.

(All examples are © 2004 Arthur O'Dwyer, not that it matters.) f(C) and f© and f(C) behave as expected, right?

What? Are question marks not behaving properly?! ??? What is wrong with them!?! ?? Two ??? Three ? One None

∉ ¬ note

Let's play with entities! It should work if we state that ∃(x, y, z):x²+y² = z², or that ∀n∈N:∃n′∈N:n′ = n+1. Something like that.

mySum: =	∑	x		·y
			i		i
	i

Φ ∼ mySum
Φ ∼ mySum