请问在逻辑式中一个条件满足另一个条件的符号如何表示?