qq_39468564: 2SAT的定义是子句都得是长度为二而不是小于等于二吧，归约是x写成x析取x就可以

HAO_keshui: 脚注没有横线是什么原因呀

dljcsdncj: 好像typora中只能识别『\\』和『\newline』，并且换行符号行会有缩进，不知道怎么才能取消缩进

lyl-gnithgif: 有个地方写错了。 response.setCharacterEncoding("UTF-8"); 的目的是用于response.getWriter()输出的字符流的乱码问题，如果是response.getOutputStream()是不需要此种解决方案的；因为这句话的意思是为了将response对象中的数据以UTF-8解码（应该是编码）后发向浏览器；

2301_76894550: \CJKfamily{Source Han Serif SC SemiBold} $$ \text{比重} =\frac{\text{部分} }{\text{整体} } = \frac{\text{海水养殖产品} }{\text{海水养殖产量}+\text{淡水养殖产量} } =\frac{234.62}{234.62+302.79}\approx 43.7\% $$ 博主大大，像这种我如何修改数字部分的字体呀