Searched defs:right_end_mark (Results 1 – 4 of 4) sorted by relevance
29 char right_end_mark ; // marker for end of english paragraph variable
38 char right_end_mark ; // marker for end of english paragraph variable
77 char left_end_mark, right_end_mark ; variable
89 char right_end_mark = scr.get_right_end_mark() ; in hebSegment() local