如何在乳胶中产生长的否定线.它应该看起来像下面的等式的左边

我曾经用过,\[ \bar{(A \land B)} \]但刚刚添加了一个条形图\land
谢谢您的帮助
我正在研究能够加载各种(自制)插件的程序.
这些插件需要有一种方法来向主机程序发送通知.
目前我有一个接口作为插件的基础.接口定义了每当我需要记录某些内容时触发的事件
界面如下所示:
public delegate void LogEventHandler(object sender, LogEventArgs e);
public interface IWatcherPluginBase
{
event LogEventHandler WriteLog;
string Name { get; }
string Description { get; }
string Contact { get; }
Version Version { get; }
PluginState Status { get; }
string StatusDescription { get; }
void Start();
void Stop();
}
Run Code Online (Sandbox Code Playgroud)
在插件中,我使用以下代码来触发事件
if (WriteLog != null)
WriteLog(this, new LogEventArgs("Started", MessageLevel.Info));
Run Code Online (Sandbox Code Playgroud)
我的主程序添加一个事件处理程序
plugin.WriteLog += new LogEventHandler(plugin_WriteLog);
Run Code Online (Sandbox Code Playgroud)
您知道其他(可能更好)的方法来实现日志记录吗?
我在尝试更新Eclipse时遇到错误(Kepler Service Release 1; Build id:20130919-0819)
Eclipse想要更新以下包:
卸载时发生错误
会话上下文是:(profile = epp.package.standard,phase = org.eclipse.equinox.internal.p2.engine.phases.Uninstall,operand = [R] org.eclipse.rcp.configuration_root.win32.win32.x86 1.0 .0.v20130521-1847 - > null,action = org.eclipse.equinox.internal.p2.touchpoint.natives.actions.CleanupzipAction).
备份文件E:\ Program Files(x86)\ eclipse\eclipse.exe失败.
无法删除:E:\ Program Files(x86)\ eclipse\eclipse.exe
当我尝试以管理员身份进行更新时,也会发生此错误.
有没有人知道会导致这种情况的原因是什么?
我正在尝试使用以下 CSS 自动设置<g>元素的样式。
<style type="text/css">
g[inkscape|label="Site"] {
fill: blue;
stroke: red;
stroke-width: 3
}
g[inkscape|label="Building"] {
fill: black;
stroke: red;
stroke-width: 3
}
</style>
Run Code Online (Sandbox Code Playgroud)
但是,元素仍然没有设置填充或描边设置。
选择另一个没有命名空间的属性效果很好。
谢谢。