[mizar] Quaternions in MML

To: mizar-forum@mizar.uwb.edu.pl
Subject: [mizar] Quaternions in MML
From: Boris Schminke <schminkeba@gmail.com>
Date: Fri, 6 Aug 2010 14:12:26 +0400
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=pmwyl2Tz5A717LqE7w78+ehSy0CrgmBlJQvLR1r0ZRt6o6ux+jqDNARM3NAfKCY+J9 91Rern6qqrLXgWGkjl1hf268XvPaiVUnRKJlWK3Y1XUh39KK16AWX9XMEdFSEveEIFH1 E72I6c2xDV2QBI+RjE2v0ADGVN/32CmwTf16o=

Dear All,
Why there is no cluster complex -> quaternion? Is it somehow connected
with symbols 0q and 1q?
Yours,
Schminke Boris.