$3\ Delimiters$
$|$  |
$\vert$  \vert
$\|$  \|
$\Vert$  \Vert
$\{$  \{
$\}$  \}
$\langle$  \langle
$\rangle$  \rangle
$\lfloor$  \lfloor
$\rfloor$  \rfloor
$\lceil$  \lceil
$\rceil$  \rceil
$/$  /
$\backslash$  \backslash
$[$  [
$]$  ]
$\Uparrow$  \Uparrow
$\uparrow$  \uparrow
$\Downarrow$  \Downarrow
$\downarrow$  \downarrow
$\llcorner$  \llcorner
$\lrcorner$  \lrcorner
$\ulcorner$  \ulcorner
$\urcorner$  \urcorner
可以使用 \left 和\right 来修饰这些符号:
$\lceil \frac{3}{5} \rceil$  \lceil \frac{3}{5} \rceil
$\left \lceil \frac{3}{5} \right \rceil$  \left \lceil \frac{3}{5} \right \rceil

随机推荐

  1. CSS 小工具集

    http://www.colorzilla.com/gradient-editor/css渐变生成工具.http://linxz.github.io/tianyizone/css志爷小工具.http: ...

  2. Web应用性能分析工具—HAR文件

    Web应用性能分析工具—HAR文件 来源 https://raynorli.com/2018/06/11/web-performance-analysis-har-file/ 客户经常有的一个问题就是 ...

  3. SQL的GROUP BY 与 Order By

    1.概述 “Group By”从字面意义上理解就是根据“By”指定的规则对数据进行分组,所谓的分组就是将一个“数据集”划分成若干个“小区域”,然后针对若干个“小区域”进行数据处理. 2.原始表 3.简 ...

  4. java代码实现图片内容转文字

    前言 现在的手机已经可以实现拍照转文字了.作为一名程序员,得使用java代码实现这一功能,虽然可能没啥用!!! pom.xml 添加依赖 <dependency> <groupId& ...

  5. js点击发送验证码 xx秒后重新发送

    用于一些注册类的场景,点击发送验证码,xx秒后重新发送. 利用 setTimeout 方法,xx秒后执行指定的方法,修改button的属性值,disabled为true时为灰色,不可点击. <! ...

  6. MongoDB 各个位版本下载地址

    官网首页下载需要填写资料 windows版本 Linux版本

  7. C++ void*解惑

    最近遇到void *的问题无法解决,发现再也无法逃避了(以前都是采取悄悄绕过原则),于是我决定直面它. 在哪遇到了? 线程创建函数pthread_create()的最后一个参数void *arg,嗯? ...

  8. Shell脚本case语句

    case语句格式 case 变量 in PAT1) 执行语句 ;; PAT2) 执行语句 ;; *) 默认执行语句 ;; esac 使用示例: 编写一个shell脚本,通过提示用户输入信息,输出cpu ...

  9. java_day09_GUI事件

    第九章:GUI事件 1.AWT事件模型概述 使用AWT或者Swing中的容器.组件和布局管理器就可以构建出图形界面,但是这时候该界面还并不能和用户进行交换,因为图形界面中的组件还没有添加事件监听器,所 ...

  10. mysql_jdbc连接说明

    mysql JDBC Driver 常用的有两个,一个是gjt(Giant Java Tree)组织提供的mysql驱动,其JDBC Driver名称(JAVA类名)为:org.gjt.mm.mysq ...