Home Next released ->
Type: DTEL, Name: BOOLE_D, Status: IMPLICIT
Open SVG in new tab, Bug reports welcome
G DTEL-BOOLE_D DTEL-BOOLE_D DOMA-BOOLE DOMA-BOOLE DTEL-BOOLE_D->DOMA-BOOLE