机译:λ b 斜体> sub> <斜体>→斜体>λ <斜体> c 斜体> sub>(<斜体>→ 斜体>λ<斜体>π斜体>)? <内联公式id =“IEQ1”> <替代方案> ν MML:MI> ˉ mml:mo> mml:mover> mml:math> documentClass [12pt] {minimal} usepackage {ammath} usepackage { usysym} usepackage {amsfonts} usepackage {amssymb} usepackage {amsbsy} usepackage {mathrsfs} usepackage {supmeek} setLength { oddsidemargin} { - 69pt} begin {document} $$ overline { nu} $$ end {document} tex-math> <内联图xlink:href =“13130_2019_11977_ARTICLE_IEQ1.gif”/> alternation> Inline-Fapers>