我如何在 Hinman 的数学逻辑上的 LaTeX 中输入这些符号？

Question

在我的教科书上数理逻辑基础，我无法产生下面的符号。

我尝试了 Detexify，我能输入的最佳公式是：\vDash_{\!\!\!_\mathfrak{A}}。我怎样才能更优雅地输入这个符号？此外，任何在 KaTeX 中生成它的解决方案都值得赞赏。