:: deftheorem defines ConwayStar CGAMES_1:def 5 :
ConwayStar = left-right(# {ConwayZero},{ConwayZero} #);