User blog comment:P進大好きbot/Evaluation of Analysis/@comment-11227630-20181120141839/@comment-35470197-20181120145230

Thank you. I updated the list. I think that your analysis on wgap trees contains a description of the \(\vartheta\).