serialize

public JsonElement serialize(Formula src, Type typeOfSrc, JsonSerializationContext context)