@@ -72,6 +72,7 @@ const unicode_operators = {
72
72
":" : function ( operands ) { return operands [ 0 ] + " : " + operands [ 1 ] ; } ,
73
73
"binom" : function ( operands ) { return "binom( " + operands [ 0 ] + ", " + operands [ 1 ] + " )" ; } ,
74
74
"vec" : function ( operands ) { return "vec(" + operands [ 0 ] + ")" ; } ,
75
+ "linesegment" : function ( operands ) { return "linesegment( " + operands . join ( ", " ) + " )" ; } ,
75
76
"angle" : function ( operands , use_shorthand ) {
76
77
if ( use_shorthand ) {
77
78
return "∠" + operands . join ( "" ) ;
@@ -132,6 +133,7 @@ const nonunicode_operators = {
132
133
":" : function ( operands ) { return operands [ 0 ] + " : " + operands [ 1 ] ; } ,
133
134
"binom" : function ( operands ) { return "binom( " + operands [ 0 ] + ", " + operands [ 1 ] + " )" ; } ,
134
135
"vec" : function ( operands ) { return "vec(" + operands [ 0 ] + ")" ; } ,
136
+ "linesegment" : function ( operands ) { return "linesegment( " + operands . join ( ", " ) + " )" ; } ,
135
137
"angle" : function ( operands , use_shorthand ) {
136
138
if ( use_shorthand ) {
137
139
return "angle " + operands . join ( "" ) ;
@@ -571,7 +573,7 @@ class astToText {
571
573
|| operator === 'list'
572
574
|| operator === 'set' || operator === 'vector' || operator === 'altvector'
573
575
|| operator === '|' || operator === ':'
574
- || operator === 'binom' || operator === 'vec' ) {
576
+ || operator === 'binom' || operator === 'vec' || operator === 'linesegment' ) {
575
577
return this . operators [ operator ] ( operands . map ( function ( v , i ) {
576
578
return this . statement ( v ) ;
577
579
} . bind ( this ) ) ) ;
0 commit comments