One part of this field, known as algebraic semiotics, combines aspects of algebraic specification and social semiotics, and has been applied to user interface design and to the representation of mathematical proofs.
Jedan deo ovog polja, poznat kao algebraska semiotika, kombinuje aspekte algebarske specifikacije i socijalne semiotike, a primenjen je na dizajn korisničkog interfejsa i na prikaz matematičkih dokaza.