doc/: Work in progress.

[sod] / doc / sod-backg.tex

diff --git a/doc/sod-backg.tex b/doc/sod-backg.tex
index 0f19c7d..0cb3877 100644 (file)
--- a/doc/sod-backg.tex
+++ b/doc/sod-backg.tex
@@ -46,6 +46,8 @@ This is the `is-subclass-of' relation we've been using so far.\footnote{%
   to be a partial order because of cycles in the class graph.  I haven't
   given a great deal of thought to how well Sod would cope with a cyclic
   class graph.} %
+We write $d \succeq c$ and say that $d$ is a superclass of $c$ if and only if
+$c \preceq d$.
 
 The problem comes when we try to resolve inheritance questions.  A class
 should inherit behaviour from its superclasses; but, in a world of multiple