在使用思源笔记 latex 的时候，我使用 mathpix 对于多行数学公式进行识别，其格式为 array，导入到思源笔记中时出现了行距问题，在 typora 和 mathpix 中均不会出现。
以下是思源笔记界面。
以下是 typora 界面。
以下是 mathpix 界面。
以下是 latex 代码：
$$
\begin{array}{l}
\frac{x+2}{2 x-1}<1 \Rightarrow \frac{x+2}{2 x-1}-1<0 \\
\frac{x+2}{2 x-1}-1=\frac{x+2}{2 x-1}-\frac{2 x-1}{2 x-1}=\frac{3-x}{2 x-1}<0 \\
\Rightarrow(3-x)(2 x-1)<0 \Rightarrow x<\frac{1}{2} \text { or } x>3
\end{array}
$$
希望有一天能够切换到 typora 或者是 mathpix 的行距 QAQ
希望思源笔记能够越来越好！
参考 Katex 的文档, 可以在代码首添加 \def\arraystretch{1.5}, 以将行高调整为原来的 1.5 倍
\def\arraystretch{1.5}
\begin{array}{l}
\frac{x+2}{2 x-1}<1 \Rightarrow \frac{x+2}{2 x-1}-1<0 \\
\frac{x+2}{2 x-1}-1=\frac{x+2}{2 x-1}-\frac{2 x-1}{2 x-1}=\frac{3-x}{2 x-1}<0 \\
\Rightarrow(3-x)(2 x-1)<0 \Rightarrow x<\frac{1}{2} \text { or } x>3
\end{array}
Jenkins 是一套开源的持续集成工具。它提供了非常丰富的插件，让构建、部署、自动化集成项目变得简单易用。
愿逝者安息！
Elasticsearch 是一个基于 Lucene 的搜索服务器。它提供了一个分布式多用户能力的全文搜索引擎，基于 RESTful 接口。Elasticsearch 是用 Java 开发的，并作为 Apache 许可条款下的开放源码发布，是当前流行的企业级搜索引擎。设计用于云计算中，能够达到实时搜索，稳定，可靠，快速，安装使用方便。
Cloud Foundry 是 VMware 推出的业界第一个开源 PaaS 云平台，它支持多种框架、语言、运行时环境、云平台及应用服务，使开发人员能够在几秒钟内进行应用程序的部署和扩展，无需担心任何基础架构的问题。
我们平时所说的“架构”主要是指软件架构，这是有关软件整体结构与组件的抽象描述，用于指导软件系统各个方面的设计。另外还有“业务架构”、“网络架构”、“硬件架构”等细分领域。
RabbitMQ 是一个开源的 AMQP 实现，服务器端用 Erlang 语言编写，支持多种语言客户端，如：Python、Ruby、.NET、Java、C、PHP、ActionScript 等。用于在分布式系统中存储转发消息，在易用性、扩展性、高可用性等方面表现不俗。
Communication channel for makers and users.
确认过眼神后的灵魂连接，站在链在！
Netty 是一个基于 NIO 的客户端-服务器编程框架，使用 Netty 可以让你快速、简单地开发出一个可维护、高性能的网络应用，例如实现了某种协议的客户、服务端应用。
程序员是从事程序开发、程序维护的专业人员。
单点登录（Single Sign On）是目前比较流行的企业业务整合的解决方案之一。SSO 的定义是在多个应用系统中，用户只需要登录一次就可以访问所有相互信任的应用系统。
有空闲时间是接外包好呢还是学习好呢？
ZeroNet 是一个基于比特币加密技术和 BT 网络技术的去中心化的、开放开源的网络和交流系统。
一些有用的避坑指南。
CSS（Cascading Style Sheet）“层叠样式表”是用于控制网页样式并允许将样式信息与网页内容分离的一种标记性语言。
汐洛彖夲肜矩阵（Sillot T☳Converbenk Matrix），致力于服务智慧新彖乄，具有彖乄驱动、极致优雅、开发者友好的特点。其中汐洛绞架（Sillot-Gibbet）基于自思源笔记（siyuan-note），前身是思源笔记汐洛版（更早是思源笔记汐洛分支），是智慧新录乄终端（多端融合，移动端优先）。
主仓库地址：Hi-Windom/Sillot
文档地址：sillot.db.sc.cn
注意事项：
Quicker 您的指尖工具箱！操作更少，收获更多！
“梦想从学习开始，事业从实践起步” —— 习近平
本标签主要用于分享网络空间安全专业的学习笔记
flomo 是新一代 「卡片笔记」 ，专注在碎片化时代，促进你的记录，帮你积累更多知识资产。
Facebook 是一个联系朋友的社交工具。大家可以通过它和朋友、同事、同学以及周围的人保持互动交流，分享无限上传的图片，发布链接和视频，更可以增进对朋友的了解。
宕机，多指一些网站、游戏、网络应用等服务器一种区别于正常运行的状态，也叫“Down 机”、“当机”或“死机”。宕机状态不仅仅是指服务器“挂掉了”、“死机了”状态，也包括服务器假死、停用、关闭等一些原因而导致出现的不能够正常运行的状态。
ZooKeeper 是一个分布式的，开放源码的分布式应用程序协调服务，是 Google 的 Chubby 一个开源的实现，是 Hadoop 和 HBase 的重要组件。它是一个为分布式应用提供一致性服务的软件，提供的功能包括：配置维护、域名服务、分布式同步、组服务等。
WiFiDog 是一套开源的无线热点认证管理工具，主要功能包括：位置相关的内容递送；用户认证和授权；集中式网络监控。
Postman 是一款简单好用的 HTTP API 调试工具。
欢迎来到这里！
我们正在构建一个小众社区，大家在这里相互信任，以平等 • 自由 • 奔放的价值观进行分享交流。最终，希望大家能够找到与自己志同道合的伙伴，共同成长。
注册 关于