successor <- function(w)
{
if (is.cardinal(w))
{
if (is.finite(w))
return( w+1L )
else
{
return( aleph(w@n + 1L) )
}
}
}
Add the following code to your website.
For more information on customizing the embed code, read Embedding Snippets.