(

    ( -1 { $\ \forall\ \ \emptyset\ $ } )

{

    _<< anchor >>_

    (  0  0  2014-05-01;23:30 $\ \forall\ $

        ( { } { }    { { 2014-05-02;03:40 [ 2 ] }  { 2014-05-02;04:05 [ 3 ] } }   { ( 2014-05-02;01:40 2014-05-02;03:40  ) [ 1 ] }  )

                                     _<< the last list above: { 2014-05-02;01:40 [ 1 ] }, has only one element due to

                                            the accent, i.e. we may forget the date to see that  1  is the only element >>_

        { }

      _<< hints in English--the top dabatem: the daba, all, everything, universe. >>_

      _<<    Source of name $\ \forall\ $ : $\LaTeX$.    >>_

    )

    _<< anchor >>_

    (  1  1  2014-05-02;01:40  $\ \emptyset$

        (    { { 2014-05-02;03:40 [ 2 ] }  { 2014-05-02;17:28 [ ∅lan ] } }

             {  { ( 2014-05-01;23:30 2014-05-02;03:40 ) [ 0 ] }   { ( 2014-05-02;04:05 2014-05-02;05:50 ) [ 3 ] }

                { ( 2014-05-02;05:50 2014-05-02;17:28 ) [ 4 ] }   { ( 2014-05-02;06:06 2014-05-02;17:28 ) [ 5 ] }   }

             { } { }

        )

        { { } ( ) }

        _<< hints in English--the buttom dabatem: emptiness, empty set, nothingness. >>_

         _<<    Source of name $\ \emptyset\ $ : $\LaTeX$.    >>_

        _<< $\emptyset$ and the empty lists { } and ( ) are all the same.

               That's what the last dabanese line above says. >>_

    )

    _<< anchor >>_

    (   2   2  2014-05-02;03:40     mcr

        (  0  $\  \emptyset\ $  1 $\ \emptyset\ $ )

        $\  \emptyset\ $ 

        _<< hint in English: mcr stands for macro and macro definitions, and for

               substitutions, especially for string substitutions. >>_

        _<< The ordered lists ( $\ \emptyset\ $ mcr { } ) and ( $ \emptyset\ $ mcr { } ) are examples of macros;

               we may even state equivalence: { mcr [ { } $\emptyset$ ] ) as well as { [ $\emptyset\ $ ( ) ] mcr } >>_

    )

    _<< anchor >>_

    (  3  3  2014-05-02;04:05  lan

        (  0   $\ \emptyset\ $    { { 2014-05-02;05:50 [ 4 ] }  { 2014-05-02;06:06 [ 5 ] } }   { ( 2014-05-02;04:05 2014-05-02;05:50 ) [ 1 ] }   )

        $\ \emptyset\ $

        _<< hint in English: language, code. >>_

    )

    _<< anchor >>_

    (  4  4  2014-05-02;05:50  dbn

        (  3  $\ \emptyset\ $   { 2014-05-03;06:54 [ 7 ] } }

           {  { ( 2014-05-02;05:50 2014-05-02;17:28 ) [ 1 ] }  {  ( 2014-05-02;17:28 2014-05-03;06:54 ) [ 6 ]  }  }  )

        $\ \emptyset\ $

        _<< dabaness >>_

    )

    _<< anchor >>_

    (  5  5  2014-05-02;06:06  ndb

        (  3 $\ \emptyset\ $   { 2014-05-02;17:28 [ 6 ] }   { ( 2014-05-02;06:06 2014-05-02;17:28 ) [ 1 ] }  )

        $\ \emptyset\ $
        _<< means: not dabaness, i.e. any language or code but dabanese >>_

    )

    _<< anchor >>_

    (  6  6  2014-05-02;17:28  $\emptyset$lan

        (  {  5  { 2014-05-03;06:54  7 } }  { ( 2014-05-02;17:28 2014-05-03;06:54 ) [ 4 ] } 1  $\ \emptyset\ $ )

        { $\ \emptyset\ $ [ lan ] }

        _<< the least "lan" dabatem >>_

    )

    _<<  anchor >>_

    (  7  7  2014-05-03;06:54  $\emptyset$dbn

        (  4 $\ \emptyset\ $   6  $\ \emptyset\ $ )

        { $\ \emptyset\ $ [ dbn ] }

        _<< the least "dbn" dabatem >>_

    )

}

)